Computing with Equations

نویسنده

  • Chris Preston
چکیده

or171algebra12, 25adapted to typed set150associated37, 43, 150, 152bottomed58category-based126containing a typed set37disjoint from a typed set46extension of46free37functionally free145, 147functional145, 147ground term56heterogenous54initial12, 33initial completion of104minimal30, 38multi-sorted54reachable54regular33, 38term40, 44, 45term generated54tree51unambiguous33, 38isomorphic28application operator90, 93, 117total128assignment21compatible222, 223associated algebra 37, 43, 150, 152associated ordering83monotone87associated subalgebra29 base element76basic term algebra156bottom element57of a poset83bottomed algebra58cored70fully regular65initial60minimal60monotone75regular64strongly monotone75structurally monotone72unambiguous61isomorphic59bottomed category122bottomed extensionsconjugate59bottomed extension57, 59cored70flat57initial62minimal62monotone75regular14, 64bottomed family59bottomed ground term algebra 66bottomed homomorphism59bottomed isomorphism59bottomed poset83bottomed set57bottomed subalgebraminimal60bottom57built-in function132 canonical finite products115cartesian closed category116cartesian product21case operator132category-based algebra126functional130

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Chebyshev Spectral Collocation Method for Computing Numerical Solution of Telegraph Equation

In this paper, the Chebyshev spectral collocation method(CSCM) for one-dimensional linear hyperbolic telegraph equation is presented. Chebyshev spectral collocation method have become very useful in providing highly accurate solutions to partial differential equations. A straightforward implementation of these methods involves the use of spectral differentiation matrices. Firstly, we transform ...

متن کامل

The existence results for a coupled system of nonlinear fractional differential equations with multi-point boundary conditions

In this paper, we study a coupled system of nonlinear fractional differential equations with multi-point boundary condi- tions. The differential operator is taken in the Riemann-Liouville sense. Applying the Schauder fixed-point theorem and the contrac- tion mapping principle, two existence results are obtained for the following system D^{alpha}_{0+}x(t)=fleft(t,y(t),D^{p}_{0+}y(t)right), t in (0,...

متن کامل

A Review of Numerical Methods for Computing Point and Interval Estimates by S-PLUS Package

For computing different point estimates such as method of moment and maximum like-lihood estimates and different interval estimates (classical confidence interval, unbi-ased confidence interval, HPD interval), we may deal with the equations which need be solved numerically. In this paper, some numerical methods for solving these type of equations are reviewed in S-PLUS package. Various examples...

متن کامل

Numerical solution of hybrid fuzzy differential equations by fuzzy neural network

The hybrid fuzzy differential equations have a wide range of applications in science and engineering. We consider the problem of nding their numerical solutions by using a novel hybrid method based on fuzzy neural network. Here neural network is considered as a part of large eld called neural computing or soft computing. The proposed algorithm is illustrated by numerical examples and the result...

متن کامل

Estimating scour below inverted siphon structures using stochastic and soft computing approaches

This paper uses nonlinear regression, Artificial Neural Network (ANN) and Genetic Programming (GP) approaches for predicting an important tangible issue i.e. scours dimensions downstream of inverted siphon structures. Dimensional analysis and nonlinear regression-based equations was proposed for estimation of maximum scour depth, location of the scour hole, location and height of the dune downs...

متن کامل

Numerical solution of fuzzy differential equations under generalized differentiability by fuzzy neural network

In this paper, we interpret a fuzzy differential equation by using the strongly generalized differentiability concept. Utilizing the Generalized characterization Theorem. Then a novel hybrid method based on learning algorithm of fuzzy neural network for the solution of differential equation with fuzzy initial value is presented. Here neural network is considered as a part of large eld called ne...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1008.1131  شماره 

صفحات  -

تاریخ انتشار 2010